An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments

Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through processes on an adequate level of abstraction with the SHIP-tool. Based on the representation of the environment in a formal logical description, communication with the environment is realized via updates of the logical description. Processes are built from basic actions to update the current logical descriptions and include means to monitor the evolution of the environment in a temporal logic formalism. The SHIP-tool implements the process language and serves both for simulation and execution. The paper describes two examples of assisting services in a real smart home living lab, one for light and door control in emergency situations, and one for the scheduling of two parallel wheelchair transports.